<html>
<head><meta charset="utf-8"><title>PR #84377 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html">PR #84377</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="235412486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412486">(Apr 20 2021 at 20:48)</a>:</h4>
<p>Also, Niko: <a href="https://github.com/rust-lang/rust/issues/84377">#84377</a> :)</p>



<a name="235412528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412528">(Apr 20 2021 at 20:48)</a>:</h4>
<p>To add to your pile</p>



<a name="235412564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412564">(Apr 20 2021 at 20:49)</a>:</h4>
<p><code>+283 −399</code></p>



<a name="235412565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412565">(Apr 20 2021 at 20:49)</a>:</h4>
<p>I was gonna say, I think I'll go do some reviews...</p>



<a name="235412573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412573">(Apr 20 2021 at 20:49)</a>:</h4>
<p>Gotta love that</p>



<a name="235412631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412631">(Apr 20 2021 at 20:49)</a>:</h4>
<p>Is this what I think it is?</p>



<a name="235412632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412632">(Apr 20 2021 at 20:49)</a>:</h4>
<p>I think we can call the meeting here then</p>



<a name="235412644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412644">(Apr 20 2021 at 20:49)</a>:</h4>
<p>Yes it is :)</p>



<a name="235412647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412647">(Apr 20 2021 at 20:49)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-04-20/near/235412631">said</a>:</p>
<blockquote>
<p>Is this what I think it is?</p>
</blockquote>
<p>looks like it is</p>



<a name="235412659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412659">(Apr 20 2021 at 20:49)</a>:</h4>
<p>nice</p>



<a name="235412698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412698">(Apr 20 2021 at 20:50)</a>:</h4>
<p>i'm so happy to see <code>trait_ref_hack</code> go :)</p>



<a name="235412734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412734">(Apr 20 2021 at 20:50)</a>:</h4>
<p>Still have to figure out the <code>ReErased</code> issue</p>



<a name="235412742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412742">(Apr 20 2021 at 20:50)</a>:</h4>
<p>Me too</p>



<a name="235412755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412755">(Apr 20 2021 at 20:50)</a>:</h4>
<p>Yeah, we'll circle back to that</p>



<a name="235412770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412770">(Apr 20 2021 at 20:50)</a>:</h4>
<p>this is the generator thing?</p>



<a name="235412780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412780">(Apr 20 2021 at 20:50)</a>:</h4>
<p>Theoretically, we could also now just allow nested binders</p>



<a name="235412794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412794">(Apr 20 2021 at 20:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-04-20/near/235412770">said</a>:</p>
<blockquote>
<p>this is the generator thing?</p>
</blockquote>
<p>yes</p>



<a name="235412821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412821">(Apr 20 2021 at 20:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-04-20/near/235412780">said</a>:</p>
<blockquote>
<p>Theoretically, we could also now just allow nested binders</p>
</blockquote>
<p>but that's for some future time</p>



<a name="235412836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412836">(Apr 20 2021 at 20:50)</a>:</h4>
<p>beautiful comments &lt;3</p>



<a name="235412884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412884">(Apr 20 2021 at 20:51)</a>:</h4>
<p>Luckily most of those just had to be pulled from other places that got deleted</p>



<a name="235412892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412892">(Apr 20 2021 at 20:51)</a>:</h4>
<p>But I tried</p>



<a name="235412946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412946">(Apr 20 2021 at 20:51)</a>:</h4>
<p>oh wait</p>



<a name="235412969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412969">(Apr 20 2021 at 20:51)</a>:</h4>
<p>well, I'll just leave comments</p>



<a name="235412991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235412991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235412991">(Apr 20 2021 at 20:51)</a>:</h4>
<p>Did I do something wrong :/</p>



<a name="235413053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413053">(Apr 20 2021 at 20:52)</a>:</h4>
<p>nope, just a minor improvement I think we can make</p>



<a name="235413098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413098">(Apr 20 2021 at 20:52)</a>:</h4>
<p>Okay I'll make them like right now</p>



<a name="235413126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413126">(Apr 20 2021 at 20:52)</a>:</h4>
<p>Then gonna do the GATs work</p>



<a name="235413171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413171">(Apr 20 2021 at 20:53)</a>:</h4>
<p>Hmm, trying to decide if I should make a project board for Chalk-related things</p>



<a name="235413193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413193">(Apr 20 2021 at 20:53)</a>:</h4>
<p>I was going to say that</p>



<a name="235413195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413195">(Apr 20 2021 at 20:53)</a>:</h4>
<p>But really it's just a list of things</p>



<a name="235413211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413211">(Apr 20 2021 at 20:53)</a>:</h4>
<p>I would like to revisit the 'chalk ty' plans</p>



<a name="235413219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413219">(Apr 20 2021 at 20:53)</a>:</h4>
<p>but not today</p>



<a name="235413234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413234">(Apr 20 2021 at 20:53)</a>:</h4>
<p>i'm not sure that I ike the project board format but it was useful to put things in that structure for now</p>



<a name="235413271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413271">(Apr 20 2021 at 20:53)</a>:</h4>
<p>Skill tree bum dum bum bum</p>



<a name="235413453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413453">(Apr 20 2021 at 20:55)</a>:</h4>
<p>lol</p>



<a name="235413477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413477">(Apr 20 2021 at 20:55)</a>:</h4>
<p>what is <code>LangItemTrait</code>?</p>



<a name="235413495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413495">(Apr 20 2021 at 20:55)</a>:</h4>
<p><code>?Sized</code>?</p>



<a name="235413546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413546">(Apr 20 2021 at 20:55)</a>:</h4>
<p>wow, it's criminal that we don't have doc comments on these variants</p>



<a name="235413930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413930">(Apr 20 2021 at 20:58)</a>:</h4>
<p>I don't know</p>



<a name="235413976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413976">(Apr 20 2021 at 20:58)</a>:</h4>
<p>The only place it pops up in is in <code>async</code> functions I think</p>



<a name="235413991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413991">(Apr 20 2021 at 20:58)</a>:</h4>
<p>So I thought maybe <code>Future</code>?</p>



<a name="235413998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235413998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235413998">(Apr 20 2021 at 20:58)</a>:</h4>
<p>yeah i think I get it</p>



<a name="235414034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235414034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235414034">(Apr 20 2021 at 20:58)</a>:</h4>
<p>I legit have no clue.</p>



<a name="235414040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235414040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235414040">(Apr 20 2021 at 20:58)</a>:</h4>
<p>I'm not sure what it's <em>for</em></p>



<a name="235414070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235414070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235414070">(Apr 20 2021 at 20:58)</a>:</h4>
<p>I probably reviewed it lol</p>



<a name="235414123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235414123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235414123">(Apr 20 2021 at 20:59)</a>:</h4>
<p>And tried to mess with that code a bit and it didn't work and I gave up</p>



<a name="235414413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235414413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235414413">(Apr 20 2021 at 21:00)</a>:</h4>
<p>looks like it is only used for <code>Future</code></p>



<a name="235414876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235414876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235414876">(Apr 20 2021 at 21:01)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> <a href="https://github.com/rust-lang/rust/pull/84377#pullrequestreview-640412816">review</a></p>



<a name="235415055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415055">(Apr 20 2021 at 21:02)</a>:</h4>
<p>Hmm</p>



<a name="235415245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415245">(Apr 20 2021 at 21:02)</a>:</h4>
<p>If the ast validation fails do we still go through type checking?</p>



<a name="235415251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415251">(Apr 20 2021 at 21:02)</a>:</h4>
<p>Broke this into its own topic</p>



<a name="235415296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415296">(Apr 20 2021 at 21:03)</a>:</h4>
<p>Not sure</p>



<a name="235415319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415319">(Apr 20 2021 at 21:03)</a>:</h4>
<p>Does it matter?</p>



<a name="235415355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415355">(Apr 20 2021 at 21:03)</a>:</h4>
<p>No :)</p>



<a name="235415371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415371">(Apr 20 2021 at 21:03)</a>:</h4>
<p>I would expect us to just accept <code>for&lt;'a&gt; T: for&lt;'b&gt;</code></p>



<a name="235415391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415391">(Apr 20 2021 at 21:03)</a>:</h4>
<p>honestly we should probably just make it not an error</p>



<a name="235415435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415435">(Apr 20 2021 at 21:03)</a>:</h4>
<p>but I'd rather do that with its own very clean, simple PR</p>



<a name="235415448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415448">(Apr 20 2021 at 21:03)</a>:</h4>
<p>I don't know if there's any reason for it to be</p>



<a name="235415464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415464">(Apr 20 2021 at 21:03)</a>:</h4>
<p>I don't think so</p>



<a name="235415637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415637">(Apr 20 2021 at 21:04)</a>:</h4>
<p>Is there any reason to also just...make those two binding scopes...</p>



<a name="235415668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415668">(Apr 20 2021 at 21:04)</a>:</h4>
<p>(with different depths)</p>



<a name="235415840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415840">(Apr 20 2021 at 21:05)</a>:</h4>
<p>huh?</p>



<a name="235415868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415868">(Apr 20 2021 at 21:05)</a>:</h4>
<p>like, as opposed to concatenating?</p>



<a name="235415910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415910">(Apr 20 2021 at 21:05)</a>:</h4>
<p>I expect them to concatenate for the same reason we concatenate anything</p>



<a name="235415936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415936">(Apr 20 2021 at 21:05)</a>:</h4>
<p>but I can see it being useful to be able to do (e.g.)</p>



<a name="235415977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235415977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235415977">(Apr 20 2021 at 21:06)</a>:</h4>
<p>Yes, as opposed to concatenating</p>



<a name="235416009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235416009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235416009">(Apr 20 2021 at 21:06)</a>:</h4>
<div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="k">where</span><span class="w"> </span><span class="k">for</span><span class="o">&lt;'</span><span class="na">a</span><span class="o">&gt;</span><span class="w"> </span><span class="o">&amp;'</span><span class="na">a</span><span class="w"> </span><span class="kt">u32</span>: <span class="nc">for</span><span class="o">&lt;'</span><span class="na">b</span><span class="o">&gt;</span><span class="w"> </span><span class="n">Trait</span><span class="o">&lt;'</span><span class="na">a</span><span class="p">,</span><span class="w"> </span><span class="o">'</span><span class="na">b</span><span class="o">&gt;</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="n">TraitC</span><span class="w"></span>
</code></pre></div>



<a name="235416102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235416102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235416102">(Apr 20 2021 at 21:06)</a>:</h4>
<p>how could we express that?</p>



<a name="235416299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235416299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235416299">(Apr 20 2021 at 21:07)</a>:</h4>
<p>I mean, <code>'a</code> just becomes <code>'^1.0</code> instead of <code>'^0.0</code></p>



<a name="235416426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235416426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235416426">(Apr 20 2021 at 21:08)</a>:</h4>
<p>I don't think this makes anything different</p>



<a name="235416539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235416539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235416539">(Apr 20 2021 at 21:08)</a>:</h4>
<p>the point is that we only have one level of binder in the resulting <code>Predicate</code></p>



<a name="235416641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235416641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235416641">(Apr 20 2021 at 21:08)</a>:</h4>
<p>isn't it?</p>



<a name="235416680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235416680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235416680">(Apr 20 2021 at 21:09)</a>:</h4>
<p>Err yeah</p>



<a name="235416695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235416695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235416695">(Apr 20 2021 at 21:09)</a>:</h4>
<p>you're right <span aria-label="face palm" class="emoji emoji-1f926" role="img" title="face palm">:face_palm:</span>‍♀️</p>



<a name="235417096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235417096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235417096">(Apr 20 2021 at 21:11)</a>:</h4>
<p>Let me look at the ast validation</p>



<a name="235417875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235417875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235417875">(Apr 20 2021 at 21:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> how long will you be around?</p>



<a name="235421233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235421233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235421233">(Apr 20 2021 at 21:42)</a>:</h4>
<p>I'm here, <span class="user-mention" data-user-id="232957">@Jack Huey</span></p>



<a name="235423610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235423610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235423610">(Apr 20 2021 at 22:04)</a>:</h4>
<p>Okay, hopefully I'll have an answer on whether I can do this in the 5 minutes</p>



<a name="235426947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235426947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235426947">(Apr 20 2021 at 22:37)</a>:</h4>
<p>So</p>



<a name="235426956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235426956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235426956">(Apr 20 2021 at 22:37)</a>:</h4>
<p>How the heck do we not get an error with:</p>



<a name="235426972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235426972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235426972">(Apr 20 2021 at 22:38)</a>:</h4>
<p><code>for&lt;'a&gt; dyn for&lt;'b&gt; Foo</code></p>



<a name="235427017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427017">(Apr 20 2021 at 22:38)</a>:</h4>
<p>("nested quantification of lifetimes")</p>



<a name="235427216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427216">(Apr 20 2021 at 22:40)</a>:</h4>
<p>Ah right, because <code>trait_ref_hack</code> isn't <code>true</code> around the ty itself</p>



<a name="235427240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427240">(Apr 20 2021 at 22:40)</a>:</h4>
<p>do we want an error?</p>



<a name="235427241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427241">(Apr 20 2021 at 22:40)</a>:</h4>
<p>is that legal?</p>



<a name="235427253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427253">(Apr 20 2021 at 22:41)</a>:</h4>
<p>Yes, it's legal</p>



<a name="235427255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427255">(Apr 20 2021 at 22:41)</a>:</h4>
<p>I think I expected the <code>for</code> to come after the <code>dyn</code></p>



<a name="235427259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427259">(Apr 20 2021 at 22:41)</a>:</h4>
<p>d'oh :)</p>



<a name="235427263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427263">(Apr 20 2021 at 22:41)</a>:</h4>
<p>well</p>



<a name="235427267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427267">(Apr 20 2021 at 22:41)</a>:</h4>
<p>uh</p>



<a name="235427290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427290">(Apr 20 2021 at 22:41)</a>:</h4>
<p>it's <code>for&lt;'a&gt; dyn for&lt;'b&gt; Foo: Bar</code></p>



<a name="235427303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235427303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235427303">(Apr 20 2021 at 22:41)</a>:</h4>
<p><code>dyn for&lt;'b&gt; Foo</code> is the self ty</p>



<a name="235431374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235431374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235431374">(Apr 20 2021 at 23:25)</a>:</h4>
<p>I see</p>



<a name="235431490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235431490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235431490">(Apr 20 2021 at 23:26)</a>:</h4>
<p>Did you try out the ast validation approach, <span class="user-mention" data-user-id="232957">@Jack Huey</span> ?</p>



<a name="235431671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235431671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235431671">(Apr 20 2021 at 23:28)</a>:</h4>
<p>Yes, I got to work but I don't think I can get through the cleanup right now</p>



<a name="235431677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235431677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235431677">(Apr 20 2021 at 23:28)</a>:</h4>
<p>Got busy</p>



<a name="235431684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235431684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235431684">(Apr 20 2021 at 23:28)</a>:</h4>
<p>I'll have it tomorrow morning for sure</p>



<a name="235465700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235465700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235465700">(Apr 21 2021 at 07:14)</a>:</h4>
<p>Done :)</p>



<a name="235507832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235507832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235507832">(Apr 21 2021 at 13:19)</a>:</h4>
<p>Left another review</p>



<a name="235535448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235535448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235535448">(Apr 21 2021 at 15:53)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> addressed your comments</p>



<a name="235535963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235535963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235535963">(Apr 21 2021 at 15:56)</a>:</h4>
<p>reading now</p>



<a name="235536560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235536560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235536560">(Apr 21 2021 at 16:00)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> left some more thoughts</p>



<a name="235536708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235536708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235536708">(Apr 21 2021 at 16:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> so</p>



<a name="235536734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235536734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235536734">(Apr 21 2021 at 16:01)</a>:</h4>
<p>For the <code>LangItemTrait</code> code</p>



<a name="235536769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235536769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235536769">(Apr 21 2021 at 16:02)</a>:</h4>
<p>So, I tried to remove that</p>



<a name="235536791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235536791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235536791">(Apr 21 2021 at 16:02)</a>:</h4>
<p>And a few tests failed</p>



<a name="235536815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235536815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235536815">(Apr 21 2021 at 16:02)</a>:</h4>
<p>specifically around something like <code>async fn foo() -&gt; impl Trait</code></p>



<a name="235537016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235537016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235537016">(Apr 21 2021 at 16:03)</a>:</h4>
<p>And it's not immediately obvious to me how that hits the <code>visit_param_bound</code> code...</p>



<a name="235537291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235537291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235537291">(Apr 21 2021 at 16:05)</a>:</h4>
<p>But I realized that now we only need <code>Normal</code>/<code>Concatenating</code> <code>BinderScopeType</code>s</p>



<a name="235537796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235537796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235537796">(Apr 21 2021 at 16:08)</a>:</h4>
<p><code>binders_and_scope_type_for_poly_trait_ref</code> that's a long name...</p>



<a name="235537947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235537947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235537947">(Apr 21 2021 at 16:09)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/PR.20.2384377/near/235537291">said</a>:</p>
<blockquote>
<p>But I realized that now we only need <code>Normal</code>/<code>Concatenating</code> <code>BinderScopeType</code>s</p>
</blockquote>
<p>I think we need 3 types?</p>



<a name="235537986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235537986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235537986">(Apr 21 2021 at 16:09)</a>:</h4>
<p>there needs to at least be an 'other' or something</p>



<a name="235538019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235538019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235538019">(Apr 21 2021 at 16:09)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/PR.20.2384377/near/235536815">said</a>:</p>
<blockquote>
<p>specifically around something like <code>async fn foo() -&gt; impl Trait</code></p>
</blockquote>
<p>hmm</p>



<a name="235538163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235538163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235538163">(Apr 21 2021 at 16:10)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/PR.20.2384377/near/235537986">said</a>:</p>
<blockquote>
<p>there needs to at least be an 'other' or something</p>
</blockquote>
<p>I don't think so. Looking through the code (and thinking about it), we don't have to do anything special for <code>PolyTraitRef</code> vs <code>Other</code></p>



<a name="235538174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235538174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235538174">(Apr 21 2021 at 16:10)</a>:</h4>
<p>Because of <code>TraitRefBoundary</code></p>



<a name="235538841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235538841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235538841">(Apr 21 2021 at 16:14)</a>:</h4>
<p>The only thing we lose is that "Expected all syntacic poly trait refs to be surrounded by a <code>TraitRefBoundary</code>" assertion</p>



<a name="235540788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235540788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235540788">(Apr 21 2021 at 16:28)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> pushed another commit</p>



<a name="235580750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235580750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235580750">(Apr 21 2021 at 21:02)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> ok, I agree that TraitRefBoundary serves the same purpose</p>



<a name="235580918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235580918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235580918">(Apr 21 2021 at 21:03)</a>:</h4>
<p>I think i meant the <code>other</code> as an alternative to trait-ref-boundary</p>



<a name="235580972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235580972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235580972">(Apr 21 2021 at 21:03)</a>:</h4>
<p>but trait-ref-boundary may be a nicer sol'n overall</p>



<a name="235581132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235581132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235581132">(Apr 21 2021 at 21:04)</a>:</h4>
<p>+254 -422</p>



<a name="235581137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235581137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235581137">(Apr 21 2021 at 21:04)</a>:</h4>
<p>nice</p>



<a name="235581308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235581308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235581308">(Apr 21 2021 at 21:05)</a>:</h4>
<p>Yeah, but I'm not sure we can <em>only</em> use <code>Other</code>/<code>PolyTraitRef</code></p>



<a name="235581431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235581431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235581431">(Apr 21 2021 at 21:05)</a>:</h4>
<p>Because of the <code>for&lt;'a&gt; fn() -&gt; Box&lt;dyn for&lt;'b&gt; Foo&gt;</code> bit</p>



<a name="235581617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235581617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235581617">(Apr 21 2021 at 21:06)</a>:</h4>
<p>since we need some way of demarcating the concatenation boundary</p>



<a name="235584178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235584178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235584178">(Apr 21 2021 at 21:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Does your approval mean r+?</p>



<a name="235593793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235593793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235593793">(Apr 21 2021 at 22:45)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> poke before you get off for the day :) ^^</p>



<a name="235859018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235859018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235859018">(Apr 23 2021 at 15:15)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> you have such a good eye. Fixing the bug you spotted (this PR) fixed <a href="https://github.com/rust-lang/rust/issues/83017">#83017</a> and <a href="https://github.com/rust-lang/rust/issues/81193">#81193</a></p>



<a name="235859412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235859412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235859412">(Apr 23 2021 at 15:17)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> nice!</p>



<a name="235863308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235863308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235863308">(Apr 23 2021 at 15:42)</a>:</h4>
<p>More tests to add for me :D</p>



<a name="235874590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235874590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235874590">(Apr 23 2021 at 17:01)</a>:</h4>
<p>I've opened <a href="https://github.com/rust-lang/rust/pull/84485">https://github.com/rust-lang/rust/pull/84485</a> to add those tests</p>



<a name="235875058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235875058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235875058">(Apr 23 2021 at 17:04)</a>:</h4>
<p><span class="user-mention" data-user-id="281572">@marmeladema</span> don't really have time now, but do the errors for <a href="https://github.com/rust-lang/rust/issues/83017">#83017</a> make sense to you?</p>



<a name="235875277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235875277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235875277">(Apr 23 2021 at 17:05)</a>:</h4>
<p>When CI is green, you can <code>@bors r=jackh726</code></p>



<a name="235876252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235876252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235876252">(Apr 23 2021 at 17:12)</a>:</h4>
<p>I am honestly having a hard time deciphering the code of the test right now^^</p>



<a name="235879103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/PR%20%2384377/near/235879103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/PR.20.2384377.html#235879103">(Apr 23 2021 at 17:32)</a>:</h4>
<p>Np. I'll check it later</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>